Pizza into Java:
نویسندگان
چکیده
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymor-phism, higher-order functions, and algebraic data types. Pizza is deened by translation into Java and compiles into the Java Virtual Machine, requirements which strongly constrain the design space. Nonetheless, Pizza ts smoothly to Java, with only a few rough edges.
منابع مشابه
Leftover curry and reheated Pizza: how functional programming nourishes software reuse
Functional programmers and reuse engineers dine at the same table. Delicacies like type abstraction and higher-order functions are meat and potatoes for those who need to reuse code parameterised by types and operations. The talk will start with a review of modern functional languages. Isolation has given way to systems that interact with C and COM components. Code quality can rival C. Function...
متن کاملInterface Engineering and Transient Analysis for the PEPA Workbench
The PEPA Workbench is a modelling tool for composing and checking descriptions of systems composed of communicating concurrently active components. It implements the PEPA language and provides solution and analysis facilities for PEPA models. The PEPA Workbench exists in several different versions and this project has extended and adapted a version which re-implemented the original Standard ML ...
متن کاملSoftware Engineering and Building Multi-Tier E-Business Applications Using Web Services Technology: Forget Everything You Know?
The development of the Web has dramatically changed how we develop software, or has it? E-computing represents a new paradigm. All the knowledge we have gained and tools and methods we invented for developing traditional software systems are not applicable to this new movement, or are they? In order to examine these questions, we undertook a project to become familiar with the state of the art ...
متن کاملFeature-Oriented Programming: A Fresh Look at Objects
We propose a new model for exible composition of objects from a set of features Features are similar to abstract subclasses but only provide the core functionality of a sub class Overwriting other methods is viewed as resolving feature interactions and is speci ed sep arately for two features at a time This programming model allows to compose features almost freely in a way which generalizes in...
متن کاملNarrative Intelligence
People are narrative animals. As children, our caretakers immerse us in stories: fairy tales, made-up stories, favorite stories, "Read me a story!" Even when barely verbal, we begin to tell our own proto-stories. "Phoebe! Pizza! Phoebe! Pizza!" was the excited story of a 2-year-old friend Addie when one of us happened to arrive simultaneously with the pizza delivery man. This story means, appro...
متن کامل